<?php
/**
 * Created by PhpStorm.
 * User: Weizehua
 * Date: 8/10/2016
 * Time: 11:24
 */

var_dump( !!strpos('abc', 'a'));
